AN IMPROVED DENTAL ELEVATOR.

Improved Concept for Derivation of Velocity Profiles for Elevator Systems

In this paper we concentrate on some important timing characteristics of Elevator Group Control (EGC) systems. The main discussion and calculations should be considered as a further development of Three Passages (TP) concept, already presented in our previous papers. To achieve better global performance of EGC system, especially to reduce hall call waiting time, calculation methodology of car k...

Verification of an Elevator System with MOCHA

Unlike many other existing model checkers, MOCHA is designed for the modular verification of heterogeneous systems. Instead of manipulating unstructured state‐transition graphs, it supports the hierarchical modeling framework of Reactive Modules. It overcomes the state‐explosion problem by exploiting the modular structure naturally present in many system designs. Instead of traditional te...

Eleview: An Active Elevator Monitoring Vision System. ,

This paper describes an on-going novel vision application to detect abnormal activities in an elevator. Dgference picture technique and human body motion analysis are proposed to accomplish the interpretation tasks. The interpretation makes use of the spatial and temporal features together with the scenario representation. The results obtained are encouraging and further analysis seems fruitful.

A UML Documentation for an Elevator System

Accessible Elevator

This paper describes an proof-of-concept with the goal of providing new interactions for elevators. By connecting the control unit of the elevator to the ISO/IEC 24752 Universal Remote Console (URC) middleware – the Universal Remote Console (UCH) – we show some examples of alternative and accessible User Interfaces. By this, we achieve not only accessible UIs, e.g., spoken language interfaces, ...